ePMC - csma time

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property time_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 3644 3644
build-model-states-explored 7715 4071
build-model-states-explored 11827 4112
build-model-states-explored 15948 4121
build-model-states-explored 20048 4100
build-model-states-explored 24159 4111
build-model-states-explored 28221 4062
build-model-states-explored 32330 4109
build-model-states-explored 36458 4128
build-model-states-explored 40571 4113
build-model-states-explored 44681 4110
build-model-states-explored 48794 4113
build-model-states-explored 52911 4117
build-model-states-explored 56940 4029
build-model-states-explored 61066 4126
build-model-states-explored 65189 4123
build-model-states-explored 69315 4126
build-model-states-explored 74505 5190
build-model-states-explored 79868 5363
build-model-states-explored 85239 5371
build-model-states-explored 90576 5337
build-model-states-explored 95936 5359
build-model-states-explored 101310 5375
build-model-states-explored 106663 5353
build-model-states-explored 112014 5351
build-model-states-explored 117193 5179
build-model-states-explored 122555 5362
build-model-states-explored 127920 5365
build-model-states-explored 133249 5329
build-model-states-explored 138599 5350
build-model-states-explored 143960 5361
build-model-states-explored 149218 5258
build-model-states-explored 154570 5352
build-model-states-explored 159916 5346
build-model-states-explored 165270 5354
build-model-states-explored 170618 5348
build-model-states-explored 175970 5352
build-model-states-explored 181319 5349
build-model-states-explored 186643 5324
build-model-states-explored 192005 5362
build-model-states-explored 197364 5359
build-model-states-explored 202709 5345
build-model-states-explored 208050 5341
build-model-states-explored 213453 5403
build-model-states-explored 218838 5385
build-model-states-explored 224228 5390
build-model-states-explored 229634 5406
build-model-states-explored 234646 5012
build-model-states-explored 240028 5382
build-model-states-explored 245414 5386
build-model-states-explored 250804 5390
build-model-states-explored 256196 5392
build-model-states-explored 261583 5387
build-model-states-explored 266965 5382
build-model-states-explored 272365 5400
build-model-states-explored 277761 5396
build-model-states-explored 283092 5331
build-model-states-explored 288492 5400
build-model-states-explored 293878 5386
build-model-states-explored 299260 5382
build-model-states-explored 304650 5390
build-model-states-explored 310040 5390
build-model-states-explored 315421 5381
build-model-states-explored 320812 5391
build-model-states-explored 326198 5386
build-model-states-explored 331580 5382
build-model-states-explored 336961 5381
build-model-states-explored 342358 5397
build-model-states-explored 347735 5377
build-model-states-explored 353118 5383
build-model-states-explored 358529 5411
build-model-states-explored 363947 5418
build-model-states-explored 369354 5407
build-model-states-explored 374758 5404
build-model-states-explored 380181 5423
build-model-states-explored 385567 5386
build-model-states-explored 390986 5419
build-model-states-explored 396385 5399
build-model-states-explored 401812 5427
build-model-states-explored 407235 5423
build-model-states-explored 412643 5408
build-model-states-explored 418062 5419
build-model-states-explored 423475 5413
build-model-states-explored 428887 5412
build-model-states-explored 434292 5405
build-model-states-explored 439719 5427
build-model-states-explored 445124 5405
build-model-states-explored 450544 5420
build-model-states-explored 455968 5424
build-model-states-explored 461338 5370
build-model-states-explored 466762 5424
build-model-states-explored 472173 5411
build-model-states-explored 476847 4674
build-model-states-explored 482265 5418
build-model-states-explored 487693 5428
build-model-states-explored 493087 5394
build-model-states-explored 498507 5420
build-model-states-explored 503911 5404
build-model-states-explored 509307 5396
build-model-states-explored 514742 5435
build-model-states-explored 520139 5397
build-model-states-explored 525543 5404
build-model-states-explored 530935 5391
build-model-states-explored 536386 5452
build-model-states-explored 541788 5402
build-model-states-explored 547210 5422
build-model-states-explored 552634 5424
build-model-states-explored 558043 5409
build-model-states-explored 563473 5430
build-model-states-explored 568896 5423
build-model-states-explored 574234 5338
build-model-states-explored 579676 5442
build-model-states-explored 585120 5444
build-model-states-explored 590557 5437
build-model-states-explored 595999 5442
build-model-states-explored 601452 5453
build-model-states-explored 606890 5438
build-model-states-explored 612346 5456
build-model-states-explored 617795 5449
build-model-states-explored 623230 5435
build-model-states-explored 628682 5452
build-model-states-explored 634131 5449
build-model-states-explored 639577 5446
build-model-states-explored 645023 5446
build-model-states-explored 650470 5447
build-model-states-explored 655874 5404
build-model-states-explored 661252 5378
build-model-states-explored 666635 5383
build-model-states-explored 672081 5446
build-model-states-explored 677542 5461
build-model-states-explored 683001 5459
build-model-states-explored 688460 5459
build-model-states-explored 693918 5458
build-model-states-explored 699391 5473
build-model-states-explored 704846 5455
build-model-states-explored 710308 5462
build-model-states-explored 715771 5463
build-model-states-explored 721227 5456
build-model-states-explored 726696 5469
build-model-states-explored 732183 5487
build-model-states-explored 737611 5428
build-model-states-explored 743116 5505
build-model-states-explored 748630 5514
build-model-states-explored 754139 5509
build-model-states-explored 759657 5518
build-model-done 761962 145
iterating
iterating-progress-unbounded 159 0.010444406991572593 1
iterating-done 323 1
model-checking-done 150
command-check-result-is 142.2114699637351 time_max
Model:	csma v.1 (MDP)
Parameter(s)	N = 4, K = 2
Property:	time_max (exp-reward)
Walltime:	151.25232100486755s
Return code:	0
Relative Error:	4.916131684468711e-06